101. First course in algorithms through puzzles /
پدیدآورنده : Ryuhei Uehara.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Computer algorithms.
رده :
QA9
.
58
102. Formal methods :
پدیدآورنده : Tiago Massoni, Mohammad Reza Mousavi (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
103. Formal modeling and analysis of timed systems :
پدیدآورنده : David N. Jansen, Pavithra Prabhakar (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
104. Foundations of programming languages /
پدیدآورنده : Kent D. Lee.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programming languages (Electronic computers),Programming languages (Electronic computers)
رده :
QA76
.
7
105. Foundations of software science and computation structures
پدیدآورنده : Jerzy Tiuryn (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software, Congresses.,System analysis, Congresses.
106. Funtional Programming Languages in Education :
پدیدآورنده : edited by Pieter H. Hartel, Rinus Plasmeijer.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer Science.,Logic design.
رده :
QA76
.
62
E358
1995
107. GI - 6. Jahrestagung :
پدیدآورنده : herausgegeben von Erich J. Neuhold.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.
رده :
QA76
.
H473
1976
108. Genetic Algorithms + Data Structures = Evolution Programs
پدیدآورنده : by Zbigniew Michalewicz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
رده :
QA76
.
9
.
A43
B993
1994
109. Genetic algorithm + data structures= evolution programs
پدیدآورنده : / by Zbigniew Michalewicz
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Evolutionary programming (Computer science),Genetic algorithms,Data structures (Computer science)
رده :
QA76
.
618
.
M533
1996
110. Genetic algorithms + data structures = evolution programs
پدیدآورنده : / Zbigniew Michalewicz
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Evolutionary programming (Computer science),Genetic algorithms,Data structures (Computer science)
رده :
QA76
.
618
.
M53
1996
111. Genetic algorithms + data structures = evolution programs
پدیدآورنده : / Zbigniew Michalewicz
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Evolutionary programming (Computer science),Genetic algorithms,Data structures (Computer science)
رده :
QA76
.
618
.
M53
1996
112. Genetic algorithms + data structures = evolution programs
پدیدآورنده : Michalewicz, Zbigniew.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Evolutionary programming )Computer science( , Genetic algorithms , Data structures )Computer science(
رده :
QA
76
.
618
.
M53
1996
113. Genetic algorithms + data structures = evolution programs]CD[
پدیدآورنده : Michalewicz, Zbigniew., Zbigniew Michalewicz
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Evolutionary programming )Computer science(,، Genetic algorithms,، Data structures )Computer science(
رده :
CD
1747-36
114. Genetic algorithms + data structures = evolution programs
پدیدآورنده : Zbigniew Michalewicz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Computer programs.,Data structures (Computer science)
رده :
QA76
.
9
.
A43
Z354
1992
115. Genetic programming :
پدیدآورنده : Mauro Castelli, Lukas Sekanina, Mengjie Zhang, Stefano Cagnoni, Pablo García-Sánchez (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Genetic programming (Computer science), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Data mining.,Genetic programming (Computer science)
رده :
QA76
.
623
116. Graph-theoretic concepts in computer science :
پدیدآورنده : Andreas Brandstädt, Ekkehard Köhler, Klaus Meer (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.,Graph theory-- Data processing, Congresses.,Algorithm Analysis and Problem Complexity.,Arithmetic and Logic Structures.,Computer Graphics.,Data Structures.,Discrete Mathematics in Computer Science.,Algorithms & data structures.,Computer science-- Mathematics.,Computers-- Computer Graphics.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Graph theory-- Data processing.,Graphics programming.
رده :
QA166
117. Graphs in biomedical image analysis and integrating medical imaging and non-imaging modalities :
پدیدآورنده : Danail Stoyanov, Zeike Taylor, Enzo Ferrante, Adrian V. Dalca et al. (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Diagnostic imaging-- Digital techniques, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Diagnostic imaging-- Digital techniques.,Image processing.,Mathematical theory of computation.
رده :
RC78
.
7
.
D53
118. Guide to competitive programming :
پدیدآورنده : Antti Laaksonen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Computer programming-- Competitions.,Computer programming.,Education-- Data processing.,Algorithms & data structures.,Algorithms.,Computer programming / software development.,Computer programming-- Competitions.,Computer programming.,Computers-- General.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computing & information technology.,Education-- Computers & Technology.,Education-- Data processing.,Educational equipment & technology, computer-aided learning (CAL).,Numerical analysis.
رده :
QA76
.
6
.
L225
2017
119. Guide to discrete mathematics :
پدیدآورنده : Gerard O'Regan.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics.,Algorithms & data structures.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Data Processing.,Computers-- History.,Computers-- Logic Design.,Computers-- Programming-- General.,Computing & information technology.,Discrete mathematics.,Mathematical modelling.,Mathematics-- Applied.,Maths for computer scientists.
رده :
QA76
.
9
.
M35
120. Handbook of Algorithms and Data Structures
پدیدآورنده : \ G.H. Gonnet, R. Baeza-Yates
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Algorithms,Data structures (Computer science),الگوریتم‌ها,ساختار داده‌ها,a04,a05,a04,a05,Computer programming.,برنامه‌نویسی
رده :
E-Book
,
